Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science
نویسندگان
چکیده
We suggest that in the framework of the Category Theory it is possible to demonstrate the mathematical and logical dual equivalence between the category of the q-deformed Hopf Coalgebras and the category of the q-deformed Hopf Algebras in quantum field theory (QFT), interpreted as a thermal field theory. Each pair algebra-coalgebra characterizes a QFT system and its mirroring thermal bath, respectively, so to model dissipative quantum systems in far-from-equilibrium conditions, with an evident significance also for biological sciences. Our study is in fact inspired by applications to neuroscience where the brain memory capacity, for instance, has been modeled by using the QFT unitarily inequivalent representations. The q-deformed Hopf Coalgebras and the q-deformed Hopf Algebras constitute two dual categories because characterized by the same functor T, related with the Bogoliubov transform, and by its contravariant application Top, respectively. The q-deformation parameter is related to the Bogoliubov angle, and it is effectively a thermal parameter. Therefore, the different values of q identify univocally, and label the vacua appearing in the foliation process of the quantum vacuum. This means that, in the framework of Universal Coalgebra, as general theory of dynamic and computing systems ("labelled state-transition systems"), the so labelled infinitely many quantum vacua can be interpreted as the Final Coalgebra of an "Infinite State Black-Box Machine". All this opens the way to the possibility of designing a new class of universal quantum computing architectures based on this coalgebraic QFT formulation, as its ability of naturally generating a Fibonacci progression demonstrates.
منابع مشابه
The Post‐Modern Transcendental of Language in Science and Philosophy
In this chapter I discuss the deep mutations occurring today in our society and in our culture, the natural and mathematical sciences included, from the standpoint of the “transcendental of language”, and of the primacy of language over knowledge. That is, from the standpoint of the “completion of the linguistic turn” in the foundations of logic and mathematics using Peirce’s algebra of relatio...
متن کاملCoalgebraic Semantics for Quantum Computation
Coalgebras generalize various kinds of dynamical systems occuring in mathematics and computer science. Examples of systems that can be modeled as coalgebras include automata and Markov chains. In this thesis we will present a coalgebraic representation of systems occuring in the field of quantum computation. This will allow us to derive a method to convert quantum mechanical systems into simple...
متن کاملCoalgebraic Quantum Computation
Coalgebras generalize various kinds of dynamical systems occuring in mathematics and computer science. Examples of systems that can be modeled as coalgebras include automata and Markov chains. We will present a coalgebraic representation of systems occuring in the field of quantum computation, using convex sets of density matrices as state spaces. This will allow us to derive a method to conver...
متن کاملSolvent influence on the interaction of cis-PtCl2(NH3)2 complex and graphene: A theoretical study
In this study the interaction of cis-PtCl2(NH3)2 complex and graphene were investigated with MPW1PW91method in gas and solvent phases. The solvent effect was examined by the self-consistent reaction fieldtheory (SCRF) based on Polarizable Continuum Model (PCM). The selected solvents were chloroform,chlorobenzene, bromoethane, dimethyldisulfide, and dichloroethane. The solvent ...
متن کاملForeword: special issue on coalgebraic logic
The second Dagstuhl seminar on coalgebraic logics took place from October 7–12, 2012, in the Leibniz Forschungszentrum Schloss Dagstuhl, following a successful earlier one in December 2009. From the 44 researchers who attended and the 30 talks presented, this collection highlights some of the progress that has been made in the field. We are grateful to Giuseppe Longo and his interest in a speci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Progress in biophysics and molecular biology
دوره 130 Pt A شماره
صفحات -
تاریخ انتشار 2017